deferred class AIFACE
feature
    A() deferred end
end


class APP
inherit AIFACE
        redefine A
feature 
    A
    do
        std_output.put_string("Small test %N")
    end
    INIT
    do
        Current.A()
    end
end